Quantificador existencial

En lògica matemàtica, es fa servir el símbol: ${\displaystyle \exists }$, anomenat quantificador existencial, anteposat a una variable per dir que hi ha almenys un element del conjunt a què fa referència la variable, que compleix la proposició escrita a continuació. Normalment, en lògica, el conjunt a què es fa referència és l'univers o domini de referència, que està format per totes les constants.^[1]